x86: Remove redundant cpuid-faulting-related BUG_ON I added.

Signed-off-by: Keir Fraser <keir@xen.org>

diff --git a/xen/arch/x86/cpu/intel.c b/xen/arch/x86/cpu/intel.c
index e99e97383874b5abd16c1101c6bc52edc406d44c..3eb06b3d8fcc851b6136d008b3c4d45d0e957903 100644 (file)
--- a/xen/arch/x86/cpu/intel.c
+++ b/xen/arch/x86/cpu/intel.c
@@ -229,9 +229,6 @@ static void __devinit init_intel(struct cpuinfo_x86 *c)
        if (!cpu_has_cpuid_faulting)
                set_cpuidmask(c);
 
-       BUG_ON(cpu_has(c, X86_FEATURE_CPUID_FAULTING) !=
-              boot_cpu_has(X86_FEATURE_CPUID_FAULTING));
-
        /* Work around errata */
        Intel_errata_workarounds(c);